Vacant job

Are you interested in contributing to the development of a new toolchain for the design of embedded systems, supported by an ERC Advanced Grant and the Wallenberg Foundation, as well as by friendly, knowledgeable, and engaged colleagues? Are you looking for an international research environment that values sustainable, collegial collaboration and offers strong mentorship for career development? Are you motivated to drive research forward based on your own ideas and initiatives, with support from experienced researchers? If the answer is yes, this could be an excellent opportunity for you.

The Department of Information Technology holds a leading position in both research and education at all levels. It is currently Uppsala University’s third largest department, with approximately 350 employees, including 120 teachers and 120 doctoral students. Every year, around 5,000 undergraduate students take one or more courses at the department. More information can be found at Uppsala University (https://www.uu.se/en/department/information-technology).

Research Topic

At Uppsala University, we are developing a new toolchain, MIMOS, for model-based development and dynamic updates of safety-critical embedded real-time systems. MIMOS is based on a new asynchronous design paradigm that enables incremental system design and dynamic updates after deployment. The toolchain supports the entire system design flow, including:

• Modeling and simulation
• Formal verification
• Resource scheduling and isolation
• Code generation for multiprocessor systems
• Safe updates in the field with formal safety guarantees

The toolchain is now ready for academic use. To further strengthen MIMOS, particularly in areas such as AI-assisted design, verification, and real-time scheduling, we are seeking two postdoctoral researchers with a strong background in formal verification, real-time scheduling, and/or industrial applications.

Job Responsibilities

The candidate will conduct research, publish research articles in scientific journals, supervise and advise students, and, if appropriate, participate in teaching in the field of real-time systems.

Qualifications

• PhD in Computer Science or Computer Engineering, or equivalent foreign degree. The degree must be awarded at the time of the employment decision.
• The degree should have been obtained no more than three years prior to the application deadline. The timeframe can be extended due to special circumstances such as parental leave, illness, or union duties.
• Very good proficiency in written and spoken English.
• High documented degree of self-motivation in work.
• Ability to work collaboratively in a diverse research environment, including being comfortable giving and receiving constructive feedback.
• Documented competence in critical thinking as well as structured and independent work. These personal qualities are considered equally important as technical qualifications to ensure a constructive and collegial work environment.

Desirable/meritorious

Experience and interest in both theoretical research and practical tool development, as well as engagement in industrial applications.

Application

The application should include:

• A personal letter (max 2 pages) in English, briefly describing your motivation for applying for the position and the earliest possible start date. The letter should have the heading Suitability for this position, where you provide a self-assessment of why you are the right candidate for the position.
• Curriculum Vitae (CV).
• Degree certificate, including completed courses during doctoral studies, or a draft of the thesis if the degree has not yet been completed.
• List of publications.
• Research plan describing previous and ongoing research (max 1 page) as well as proposals for future activities (max 1 page).
• Two references with contact information (name, email, and phone number) and up to two recommendation letters.

About the Employment

The employment is temporary for 2 years according to the central collective agreement, with the possibility of a one-year extension to achieve the purpose of the agreement. The scope is full-time. Start date: June 1, 2026, or by agreement. Place of employment: Uppsala.

Inquiries about the position can be made to: Professor Wang Yi, +46 704 250293, [email protected]

Welcome with your application by February 28, 2026, UFV-PA 2026/248.

Uppsala University is a broad research university with a strong international position. The ultimate goal is to conduct education and research of the highest quality and relevance to make a difference in society. Our most important asset is all 7,600 employees and 53,000 students who, with curiosity and commitment, make Uppsala University one of the country's most exciting workplaces.

Read more about our benefits and what it is like to work at Uppsala University here (https://uu.se/om-uu/jobba-hos-oss/).

The employment may be subject to security clearance. A prerequisite for employment during security clearance is that the applicant is approved.

We kindly decline offers of recruitment and advertising assistance.

Applications are received in Uppsala University's recruitment system.

Union representatives: Saco-S - [email protected], Seko - [email protected], ST (OFR/S) - [email protected]